Note

Low Risk
Documentation-only change to a CI check agent; no runtime or production code paths are modified.

Overview
Extends the Effect service conventions Macroscope agent (.macroscope/check-run-agents/effect-service-conventions.md) with new rules for errors and recovery, without changing application code.

Error safety and translation: Error fields and log annotations must stay bounded—no raw payloads, credentials, or serialized causes in detail/message; real failures stay on cause. At translation boundaries, structured domain errors on the target channel should pass through; only unknown failures get wrapped, optionally via static factories on the target error class.

Catch and construction: Known tagged failures should use Effect.catchTags (not catchTag or tag-only catchIf). Trivial constructor-only error helpers are disallowed; build errors at the failure site unless a mapper does real normalization.

Reporting: The check defaults to failure; a clean run must output exactly All clear on one line with no extra commentary.

^{Reviewed by Cursor Bugbot for commit eccaf21. Bugbot is set up for automated code reviews on this repo. Configure here.}

Note

Enforce Effect error handling conventions in the codex agent check

Expands effect-service-conventions.md with five new directives covering error attribute safety, translation boundary behavior, tag-based recovery patterns, construction-site discipline, and static factory usage.

• Error attributes and log annotations must avoid raw payloads or credentials; legacy detail/serialized cause fields are disallowed
• At translation boundaries, already-structured domain errors pass through as-is; only unknown or lower-level failures get wrapped
• Effect.catchTags is preferred for statically known tagged failures; catchIf for tag-based recovery and catchTag are discouraged
• Helpers that only construct an error are prohibited; errors must be constructed at the failure boundary
• Static factories on error classes are preferred for reusable error-to-error translations
• Updates the Reporting section: the check now defaults to failure, and a finding-free run must output exactly All clear on a single line

^{Macroscope summarized eccaf21.}